Agente singolo:
Qui, a differenza di AXe, dove ho: False, no states satisfying <{1}, 2>Xe have been found! avrò:
STRATEGIE AGENTI: [{'condition_action_pairs': [('a', 'A')]}]
[['I', 'A', 'A', 'I'], ['A', 'I', 'A', 'A'], ['A', 'A', 'I', 'A'], ['A', 'A', 'A', 'I']]
[['s0', 's0', 's0', 's0'], ['s1', 's1', 's1', 's1'], ['s2', 's2', 's2', 's2'], ['s3', 's3', 's3', 's3']]
agent_key:actions_agent1
['A']
condizione a
a
risultato m_checking{'res': "Result: {'s3', 's0'}", 'initial_state': 'Initial state s0: True'}, statesRES Result: {'s3', 's0'}
state_set: {'s0', 's3'} con iteration 0 action A
states:{'s0', 's3'}
Prima iterazione modify per agente 1
new transition matrix: [['I', 'A', 'A', 'I'], ['A', 'I', 'A', 'A'], ['A', 'A', 'I', 'A'], ['A', 'A', 'A', 'I']]
('EX', 'e')
sono dentro
states stringati da node left: {'s1'} (devono coincidere con list_hold)
transizioni passate in input: [('s0', 's0'), ('s0', 's1'), ('s0', 's2'), ('s0', 's3'), ('s1', 's0'), ('s1', 's1'), ('s1', 's2'), ('s1', 's3'), ('s2', 's0'), ('s2', 's1'), ('s2', 's2'), ('s2', 's3'), ('s3', 's0'), ('s3', 's1'), ('s3', 's2'), ('s3', 's3')]
sto facendo pre, questi sono gli stati in cui la proposizione atomica è valida: {'s1'}
predecessori nella pre-immagine: {'s2', 's1', 's3', 's0'}
{'res': "Result: {'s2', 's1', 's3', 's0'}", 'initial_state': 'Initial state s0: True'}
Solution: {'res': "Result: {'s2', 's1', 's3', 's0'}", 'initial_state': 'Initial state s0: True'}
flag: True
Solution found!
